package simplytypeddebruijn


trait Evaluator { self: Evaluator with AbstractSyntax =>

   def evaluate(t: LTerm) : LTerm  
   case class NoReductionPossibleExc extends Exception
}